Well actually this is not enough. The type is not accessible anyway.
I will let this open to continue discussion about exported types.
Currently there is plenty of types I would be glad to import like this one, but they should be somehow reexported at the root of the package.
Is this something you will be ok with ?

Because otherwise, like said in the PR initial description, all the non-exported type at the package level need to be re-written.

We use Flow to get the prop types from the component

React.PropsOf<html.div>
React.PropsOf<html.div>['onClick']

For TypeScript you can do something like the below:

type StrictClickEventHandler = NonNullable<React.ComponentProps<typeof html.div>['onClick']>

// if you want to get the click event type itself
type StrictClickEvent =  Parameters<StrictClickEventHandler>[0]
// or 
type StrictClickEvent =  StrictClickEventHandler extends (event: infer E) => any ? E : never

React.ComponentProps works well as long as the prop types do not rely on generics (e.g. type Props<T> = { onFoo: (arg: T) => void }), meaning it works fine for RSD.

I think this type is a leftover from the early days when we had types like StrictHTMLElement. So it might be best to first FlowFixMe this event. Later we can properly type the event props to match what's expected on web

Yeah sorry I am used to have named types and always forgot that I can go deeper into a type with typescript.
Maybe we should document this somewhere, cause lots of projets have exported types for everything, while for RSD it's not the case, at least with TS.

Yeah that's a good idea!